$\forall$$A$, $B$:MsgAForm, ${\it ltg}$:(IdLnk$\times$Id$\times$Type), $i$:Id.
\\[0ex](${\it ltg}$ $\in$ ma{-}outlinks($A$ $\oplus$ $B$;$i$)) $\Rightarrow$ (${\it ltg}$ $\in$ ma{-}outlinks($A$;$i$)) $\vee$ (${\it ltg}$ $\in$ ma{-}outlinks($B$;$i$))